[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 110 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 154 143 813 171 1681 1275 190

N.S.

1 1.00 0.77 0.72 4.09 0.86 8.45 6.41 0.95

time (sec)

N/A 0.081 0.569 1.353 0.267 0.253 6.297 0.322 28.751

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 86 95 356 89 741 915 95

N.S.

1 1.00 0.67 0.74 2.78 0.70 5.79 7.15 0.74

time (sec)

N/A 0.062 0.145 0.770 0.217 0.246 1.065 0.323 29.591

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 48 49 194 49 347 634 50

N.S.

1 1.00 0.66 0.67 2.66 0.67 4.75 8.68 0.68

time (sec)

N/A 0.021 0.084 0.363 0.215 0.245 0.581 0.286 28.202

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 114 0 0 0 0 0 0

N.S.

1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.024 2.469 0.000 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 101 0 0 0 0 0 0

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.035 1.308 0.000 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 137 334 0 0 0 0 0 0

N.S.

1 1.00 2.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.062 8.174 0.000 0.000 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 173 0 0 0 0 0 0

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.067 2.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 33 31 37 36 70 35 41

N.S.

1 1.00 0.61 0.57 0.69 0.67 1.30 0.65 0.76

time (sec)

N/A 0.031 0.041 0.315 0.241 0.240 0.482 0.261 26.381

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 110 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.149 0.050 0.000 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 155 144 813 142 1671 1271 191

N.S.

1 1.00 0.78 0.72 4.09 0.71 8.40 6.39 0.96

time (sec)

N/A 0.072 0.486 1.250 0.246 0.265 6.231 0.322 28.714

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 85 94 356 78 741 915 98

N.S.

1 1.00 0.66 0.73 2.78 0.61 5.79 7.15 0.77

time (sec)

N/A 0.047 0.149 0.851 0.227 0.240 1.082 0.304 28.030

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 47 48 192 48 286 631 48

N.S.

1 1.00 0.65 0.67 2.67 0.67 3.97 8.76 0.67

time (sec)

N/A 0.021 0.076 0.375 0.213 0.246 0.545 0.303 27.928

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 84 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.024 0.018 0.000 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.029 0.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 112 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.062 0.219 0.000 0.000 0.000 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 143 111 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.074 0.195 0.000 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 33 31 37 36 70 35 41

N.S.

1 1.00 0.61 0.57 0.69 0.67 1.30 0.65 0.76

time (sec)

N/A 0.032 0.057 0.348 0.217 0.235 0.481 0.262 27.113

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 194 212 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 1.619 0.000 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 130 175 0 0 0 0 0 0

N.S.

1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.155 1.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 166 0 0 0 0 0 0

N.S.

1 1.00 2.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.088 0.333 0.000 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 163 0 0 0 0 0 0

N.S.

1 1.00 2.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.096 1.212 0.000 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 126 171 0 0 0 0 0 0

N.S.

1 1.00 1.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.162 1.211 0.000 0.000 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

188 188 210 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.307 1.655 0.000 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 133 0 0 0 0 0 0

N.S.

1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.147 0.441 0.000 0.000 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 100 102 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.102 0.000 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 102 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 0.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F A F F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

139 0 143 0 0 130 0 0 0

N.S.

1 0.00 1.03 0.00 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.000 0.588 0.000 0.000 0.096 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 23 25 26 20 25 25

N.S.

1 1.00 1.10 1.10 1.19 1.24 0.95 1.19 1.19

time (sec)

N/A 0.879 16.773 0.162 0.511 0.239 2.979 0.288 27.463

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 31 22 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.35 0.96 1.09 1.09

time (sec)

N/A 1.033 14.701 0.214 0.634 0.240 2.834 0.295 28.569

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 26 28 32 26 0 6346 27

N.S.

1 1.00 1.08 1.17 1.33 1.08 0.00 264.42 1.12

time (sec)

N/A 4.871 0.443 5.932 0.502 0.257 0.000 0.610 29.600

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

23 0 24 24 30 24 0 4746 23

N.S.

1 0.00 1.04 1.04 1.30 1.04 0.00 206.35 1.00

time (sec)

N/A 0.000 0.352 5.873 0.475 0.251 0.000 0.530 28.992

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 22 27 22 0 0 21

N.S.

1 1.00 1.00 1.00 1.23 1.00 0.00 0.00 0.95

time (sec)

N/A 2.990 0.296 5.868 0.475 0.251 0.000 0.000 27.977

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 327 18 18 1382 18 17 1941 17

N.S.

1 19.24 1.06 1.06 81.29 1.06 1.00 114.18 1.00

time (sec)

N/A 1.121 0.137 0.918 0.327 0.254 0.317 0.351 27.257

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 17 392 17 15 639 16

N.S.

1 1.00 1.00 1.06 24.50 1.06 0.94 39.94 1.00

time (sec)

N/A 0.036 0.026 0.725 0.269 0.254 0.147 0.314 26.961

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 20 564 20 0 0 19

N.S.

1 1.00 1.00 1.00 28.20 1.00 0.00 0.00 0.95

time (sec)

N/A 2.165 0.234 0.820 0.756 0.244 0.000 0.000 27.720

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 20 1069 20 0 0 19

N.S.

1 1.00 1.00 1.00 53.45 1.00 0.00 0.00 0.95

time (sec)

N/A 2.722 0.219 0.809 1.082 0.246 0.000 0.000 27.838

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 44 45 44 56 325 55 46

N.S.

1 1.00 0.70 0.71 0.70 0.89 5.16 0.87 0.73

time (sec)

N/A 0.075 0.116 0.529 0.215 0.249 0.768 0.260 27.145

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 74 96 538 109 1030 98 166

N.S.

1 1.00 0.62 0.81 4.52 0.92 8.66 0.82 1.39

time (sec)

N/A 0.144 0.548 0.716 0.240 0.253 2.510 0.271 27.344

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 82 108 550 135 1353 111 178

N.S.

1 1.00 0.64 0.84 4.26 1.05 10.49 0.86 1.38

time (sec)

N/A 0.189 0.649 0.919 0.222 0.252 7.290 0.272 28.122

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 74 99 538 98 1040 100 167

N.S.

1 1.00 0.62 0.83 4.52 0.82 8.74 0.84 1.40

time (sec)

N/A 0.101 0.494 0.653 0.229 0.255 2.494 0.274 28.840

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 57 60 236 90 850 66 58

N.S.

1 1.00 0.72 0.76 2.99 1.14 10.76 0.84 0.73

time (sec)

N/A 0.092 0.298 0.729 0.212 0.239 5.577 0.270 0.488

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 110 166 1148 201 2958 155 255

N.S.

1 1.00 0.60 0.91 6.27 1.10 16.16 0.85 1.39

time (sec)

N/A 0.149 0.754 1.207 0.265 0.251 25.823 0.289 28.581

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 81 107 550 114 1357 111 179

N.S.

1 1.00 0.63 0.83 4.26 0.88 10.52 0.86 1.39

time (sec)

N/A 0.106 0.552 0.832 0.232 0.245 7.378 0.273 1.092

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 110 166 1144 200 2751 152 255

N.S.

1 1.00 0.60 0.91 6.25 1.09 15.03 0.83 1.39

time (sec)

N/A 0.148 0.744 1.174 0.250 0.253 25.944 0.274 28.849

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 111 108 550 156 1991 111 178

N.S.

1 1.00 0.86 0.84 4.26 1.21 15.43 0.86 1.38

time (sec)

N/A 0.122 0.786 1.683 0.220 0.261 71.619 0.277 1.255

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 19 17 17 17 27 16 16

N.S.

1 1.00 0.63 0.57 0.57 0.57 0.90 0.53 0.53

time (sec)

N/A 0.049 0.031 0.239 0.193 0.259 0.145 0.262 26.392

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 25 23 26 26 48 25 21

N.S.

1 1.00 0.50 0.46 0.52 0.52 0.96 0.50 0.42

time (sec)

N/A 0.150 0.035 0.270 0.182 0.232 0.260 0.265 27.137

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 18 16 17 17 27 15 17

N.S.

1 1.00 0.60 0.53 0.57 0.57 0.90 0.50 0.57

time (sec)

N/A 0.046 0.024 0.246 0.196 0.257 0.144 0.269 27.901

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 23 21 26 26 48 24 22

N.S.

1 1.00 0.45 0.41 0.51 0.51 0.94 0.47 0.43

time (sec)

N/A 0.128 0.027 0.306 0.198 0.238 0.274 0.274 0.085

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 20 39 21 27 39 19

N.S.

1 1.00 0.81 0.74 1.44 0.78 1.00 1.44 0.70

time (sec)

N/A 0.103 0.167 0.544 0.186 0.241 0.096 0.273 0.073

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 33 28 23 26 32 23 31

N.S.

1 1.00 0.80 0.68 0.56 0.63 0.78 0.56 0.76

time (sec)

N/A 0.027 0.056 0.387 0.201 0.238 0.175 0.271 27.973

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 64 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.148 3.103 0.000 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 64 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.141 3.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 68 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.143 0.695 0.000 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 66 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.130 0.564 0.000 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 43 42 37 30 0 0 0

N.S.

1 1.00 0.62 0.61 0.54 0.43 0.00 0.00 0.00

time (sec)

N/A 0.067 0.025 0.197 0.184 0.246 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 47 44 38 32 0 0 0

N.S.

1 1.00 0.72 0.68 0.58 0.49 0.00 0.00 0.00

time (sec)

N/A 0.059 0.023 0.209 0.201 0.241 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 81 52 51 45 0 0 0

N.S.

1 1.00 1.00 0.64 0.63 0.56 0.00 0.00 0.00

time (sec)

N/A 0.080 0.072 0.257 0.240 0.251 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 82 54 52 46 0 0 0

N.S.

1 1.00 1.06 0.70 0.68 0.60 0.00 0.00 0.00

time (sec)

N/A 0.059 0.074 0.283 0.190 0.244 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 24 22 29 29 29 21 21

N.S.

1 1.00 0.69 0.63 0.83 0.83 0.83 0.60 0.60

time (sec)

N/A 0.093 0.050 0.341 0.197 0.235 0.928 0.279 0.110

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.010 0.013 0.176 0.198 0.227 0.119 0.261 27.651

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 21 5 19 21 0 17 43

N.S.

1 1.00 4.20 1.00 3.80 4.20 0.00 3.40 8.60

time (sec)

N/A 0.021 0.022 0.530 0.190 0.257 0.000 0.269 0.439

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 4 3 3 3 3 3

N.S.

1 1.00 1.00 1.00 0.75 0.75 0.75 0.75 0.75

time (sec)

N/A 0.010 0.012 0.184 0.186 0.236 0.102 0.267 27.695

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.70 0.70 0.70

time (sec)

N/A 0.011 0.012 0.188 0.186 0.235 0.102 0.268 0.066

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 8 7 7 10 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 1.00 0.70 0.70

time (sec)

N/A 0.011 0.011 1.501 0.192 0.234 0.187 0.266 0.048

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 11 10 10 12 10 10

N.S.

1 1.00 1.00 0.85 0.77 0.77 0.92 0.77 0.77

time (sec)

N/A 0.019 0.016 1.444 0.190 0.239 2.924 0.254 27.234

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 42 0 24 24

N.S.

1 1.00 1.00 0.83 0.80 1.40 0.00 0.80 0.80

time (sec)

N/A 0.042 0.108 0.877 0.186 0.251 0.000 0.269 0.491

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 7 4 12 10 7 10

N.S.

1 1.00 1.00 1.00 0.57 1.71 1.43 1.00 1.43

time (sec)

N/A 0.012 0.012 0.084 0.200 0.242 0.101 0.261 27.551

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 5 9 8 19 10 29 10

N.S.

1 1.00 1.00 1.80 1.60 3.80 2.00 5.80 2.00

time (sec)

N/A 0.011 0.006 0.185 0.205 0.240 0.478 0.272 27.972

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 4 5 5 3 5 5

N.S.

1 1.00 1.00 1.00 1.25 1.25 0.75 1.25 1.25

time (sec)

N/A 0.021 0.010 0.191 0.208 0.229 0.167 0.256 0.100

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 7 10 5 7 13

N.S.

1 1.00 1.00 1.00 1.17 1.67 0.83 1.17 2.17

time (sec)

N/A 0.020 0.017 0.858 0.226 0.250 0.400 0.263 28.306

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 27 27 28 30 114 35 26

N.S.

1 1.00 0.73 0.73 0.76 0.81 3.08 0.95 0.70

time (sec)

N/A 0.016 0.053 0.349 0.207 0.249 0.246 0.254 0.128

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 108 88 100 260 0 127 0

N.S.

1 1.00 0.94 0.77 0.87 2.26 0.00 1.10 0.00

time (sec)

N/A 0.139 0.147 0.322 0.225 0.243 0.000 0.279 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 134 119 131 229 0 147 0

N.S.

1 1.00 0.93 0.83 0.91 1.59 0.00 1.02 0.00

time (sec)

N/A 0.285 0.187 0.355 0.213 0.250 0.000 0.272 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 81 52 51 45 0 0 0

N.S.

1 1.00 1.00 0.64 0.63 0.56 0.00 0.00 0.00

time (sec)

N/A 0.064 0.007 0.175 0.208 0.243 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 129 62 137 82 0 0 0

N.S.

1 1.00 1.48 0.71 1.57 0.94 0.00 0.00 0.00

time (sec)

N/A 0.116 0.197 0.319 0.218 0.256 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 165 129 475 161 0 0 0

N.S.

1 1.00 1.06 0.83 3.06 1.04 0.00 0.00 0.00

time (sec)

N/A 0.244 0.444 0.356 0.242 0.258 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 132 116 147 265 0 300 0

N.S.

1 1.00 0.93 0.82 1.04 1.87 0.00 2.11 0.00

time (sec)

N/A 0.236 0.187 0.425 0.232 0.251 0.000 0.338 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 156 139 186 270 0 521 0

N.S.

1 1.00 0.99 0.89 1.18 1.72 0.00 3.32 0.00

time (sec)

N/A 0.227 0.875 0.808 0.300 0.247 0.000 0.323 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 268 239 302 525 0 595 0

N.S.

1 1.00 0.90 0.80 1.01 1.76 0.00 2.00 0.00

time (sec)

N/A 0.447 0.794 1.342 0.308 0.258 0.000 0.386 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 162 156 190 313 0 378 0

N.S.

1 1.00 1.00 0.96 1.17 1.93 0.00 2.33 0.00

time (sec)

N/A 0.383 0.394 0.445 0.241 0.250 0.000 0.338 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 244 179 240 326 0 599 0

N.S.

1 1.00 1.36 1.00 1.34 1.82 0.00 3.35 0.00

time (sec)

N/A 0.390 0.887 0.904 0.331 0.255 0.000 0.366 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 340 323 319 377 629 0 751 0

N.S.

1 1.00 0.95 0.94 1.11 1.85 0.00 2.21 0.00

time (sec)

N/A 0.732 1.141 1.612 0.328 0.262 0.000 0.457 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 119 123 206 144 0 0 0

N.S.

1 1.00 0.79 0.81 1.36 0.95 0.00 0.00 0.00

time (sec)

N/A 0.234 0.120 0.378 0.237 0.239 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 132 145 236 161 0 0 0

N.S.

1 1.00 0.77 0.85 1.38 0.94 0.00 0.00 0.00

time (sec)

N/A 0.246 0.195 0.596 0.239 0.273 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 301 224 246 412 282 0 0 0

N.S.

1 1.00 0.74 0.82 1.37 0.94 0.00 0.00 0.00

time (sec)

N/A 0.386 0.338 1.298 0.258 0.257 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 170 84 209 107 0 0 0

N.S.

1 1.00 1.59 0.79 1.95 1.00 0.00 0.00 0.00

time (sec)

N/A 0.231 0.373 0.392 0.241 0.247 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 188 107 315 169 0 0 0

N.S.

1 1.00 1.34 0.76 2.25 1.21 0.00 0.00 0.00

time (sec)

N/A 0.268 0.626 0.590 0.218 0.260 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 386 166 661 317 0 0 0

N.S.

1 1.00 1.81 0.78 3.10 1.49 0.00 0.00 0.00

time (sec)

N/A 0.418 1.770 1.241 0.237 0.271 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 216 169 760 299 0 0 0

N.S.

1 1.00 1.16 0.90 4.06 1.60 0.00 0.00 0.00

time (sec)

N/A 0.463 0.720 0.428 0.231 0.265 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 251 191 863 363 0 0 0

N.S.

1 1.00 1.19 0.91 4.09 1.72 0.00 0.00 0.00

time (sec)

N/A 0.479 1.763 0.694 0.246 0.262 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 377 490 338 2175 713 0 0 0

N.S.

1 1.00 1.30 0.90 5.77 1.89 0.00 0.00 0.00

time (sec)

N/A 0.807 5.136 1.587 0.282 0.290 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 155 172 354 178 0 0 0

N.S.

1 1.00 0.88 0.98 2.01 1.01 0.00 0.00 0.00

time (sec)

N/A 0.385 0.271 0.359 0.248 0.251 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 204 218 399 224 0 0 0

N.S.

1 1.00 0.88 0.94 1.73 0.97 0.00 0.00 0.00

time (sec)

N/A 0.449 0.482 0.609 0.254 0.265 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 354 391 344 680 346 0 0 0

N.S.

1 1.00 1.10 0.97 1.92 0.98 0.00 0.00 0.00

time (sec)

N/A 0.609 0.716 1.381 0.273 0.260 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 230 180 647 309 0 0 0

N.S.

1 1.00 1.19 0.93 3.35 1.60 0.00 0.00 0.00

time (sec)

N/A 0.483 0.755 0.439 0.234 0.269 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

245 245 299 227 997 402 0 0 0

N.S.

1 1.00 1.22 0.93 4.07 1.64 0.00 0.00 0.00

time (sec)

N/A 0.503 2.235 0.658 0.244 0.265 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

386 386 3291 358 2451 731 0 0 0

N.S.

1 1.00 8.53 0.93 6.35 1.89 0.00 0.00 0.00

time (sec)

N/A 0.704 6.726 1.467 0.308 0.288 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

212 212 347 216 1007 375 0 0 0

N.S.

1 1.00 1.64 1.02 4.75 1.77 0.00 0.00 0.00

time (sec)

N/A 0.660 2.019 0.455 0.251 0.260 0.000 0.000 0.000

[next] [front] [up]